COMMENT ā   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
Cā;
(m-defun Y (f)
	 (let ((h (lambda (g)
			  (f (lambda (x) (funcall (g g) x))))))  
	      (lambda (x) (funcall (h h) x))))
(startup 16)
(let ((len 
       (y
 	(lambda (f)
		(lambda (x)
			(cond ((null x) 0)
			      (t 
			       (1+ (f (cdr x))))))))))
     (len '(1 2 3 4 5 6 7 8 9 10 11 12 13 14 15)))